]> dgit.raspbian.org Git - gnome-shell.git/commit
sessionMode: Add panelStyle property
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 21 Sep 2012 20:19:27 +0000 (22:19 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 21 Nov 2012 12:10:46 +0000 (13:10 +0100)
commit2511f60d39fbeb25f213fa00e785b368e4e72957
tree0c3315820193a1a81d55f543d39a2d8a2f641b8d
parentc0f868dd562cac196c9721c1ac8c128d3faee701
sessionMode: Add panelStyle property

The panel should change appearance according to the sessionMode,
so add a new panelStyle sessionMode property which allows to
specify a mode specific style class for the panel actors.

https://bugzilla.gnome.org/show_bug.cgi?id=684573
js/ui/panel.js
js/ui/sessionMode.js